1

Stable constrained dynamics

Year:
2015
Language:
english
File:
PDF, 4.23 MB
english, 2015
9

Cover Picture

Year:
2002
Language:
english
File:
PDF, 72 KB
english, 2002
12

Building meaningful timed models of closed-loop DES for verification purposes

Year:
2013
Language:
english
File:
PDF, 4.85 MB
english, 2013
17

Titelbild

Year:
2002
Language:
german
File:
PDF, 155 KB
german, 2002
20

Building Meaningful Timed Plant Models for Verification Purposes

Year:
2009
Language:
english
File:
PDF, 1.30 MB
english, 2009
33

Velocity-based adaptivity of deformable models

Year:
2014
Language:
english
File:
PDF, 6.38 MB
english, 2014